Focusing on Operational Research: A Welcome Step!

Welcome to Thyroid Research

Welcome to the first issue of Thyroid Research, a new journal published by BioMed Central, which aims at providing a platform for both researchers and clinicians to discuss a broad spectrum of thyroidology and related issues. These include physiological mechanisms of thyroid hormone action, secretory regulations, immunological and genetic aspects and, finally, news and information on state-of-t...

Welcome to Medical Gas Research

Coinductive Big-Step Operational Semantics

Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to describe diverging evaluations in addition to terminating evaluations. We formalize the connections between the coinductive big-step semantics and the standard small-step semantics, proving that both semantics are equiv...

Welcome to Journal of Membrane Science and Research

Operational Research: a Multidisciplinary Field

This paper is focusing on the following question: What is Operational Research (OR)? We will show that there is not a single and simple answer. Epistemological assumptions and practical traditions define different types of OR. We have identified three: The technical or hard OR, the practical or soft OR, and the critical OR. Following a historical perspective we will present these three schools....